Dongming Wang (auth.): cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (18)
Più popolari
Lista
- Lista
- Tabella

1

Automated Practical Reasoning: Algebraic Approaches

Automated Practical Reasoning: Algebraic Approaches

Springer Vienna

Jochen Pfalzgraf, Dongming Wang (auth.), Dr. Jochen Pfalzgraf, Dr. Dongming Wang (eds.)

Anno:

1995

Lingua:

english

File:

PDF, 5.05 MB

0 / 0

english, 1995

2

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry Toulouse, France, September 27–29, 1996 Selected Papers

Springer-Verlag Berlin Heidelberg

Deepak Kapur (auth.), Dongming Wang (eds.)

Anno:

1997

Lingua:

english

File:

DJVU, 2.25 MB

0 / 0

english, 1997

3

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 2.43 MB

0 / 0

english, 2001

4

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)

Anno:

1999

Lingua:

english

File:

PDF, 3.32 MB

0 / 0

english, 1999

5

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Springer-Verlag Berlin Heidelberg

Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 2.81 MB

0 / 0

english, 2006

6

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 2.01 MB

0 / 0

english, 2001

7

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 6.98 MB

0 / 0

english, 2007

8

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Qi Wang, Dongming Lu, Hongxin Zhang (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 21.15 MB

0 / 0

english, 2010

9

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 4.60 MB

0 / 0

english, 2007

10

Symbolic-Numeric Computation

Symbolic-Numeric Computation

Birkhäuser Basel

Robert M. Corless (auth.), Dongming Wang, Lihong Zhi (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 5.24 MB

0 / 0

english, 2007

11

Elimination Methods

Elimination Methods

Springer-Verlag Wien

Dr. Dongming Wang (auth.)

Anno:

2001

Lingua:

english

File:

PDF, 7.41 MB

0 / 0

english, 2001

12

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 2.70 MB

0 / 0

english, 2006

13

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

Arjeh M. Cohen (auth.), Jacques Calmet, Tetsuo Ida, Dongming Wang (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 3.01 MB

0 / 0

english, 2006

14

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Springer-Verlag Berlin Heidelberg

Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 2.62 MB

0 / 0

english, 2006

15

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Advances in Multimedia Information Processing - PCM 2010: 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

Springer-Verlag Berlin Heidelberg

Qi Wang, Dongming Lu, Hongxin Zhang (auth.), Guoping Qiu, Kin Man Lam, Hitoshi Kiya, Xiang-Yang Xue, C.-C. Jay Kuo, Michael S. Lew (eds.)

Anno:

2010

Lingua:

english

File:

PDF, 20.68 MB

0 / 0

english, 2010

16

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers

Springer-Verlag Berlin Heidelberg

Xiaoyu Chen, Dongming Wang (auth.), Francisco Botana, Tomas Recio (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 5.04 MB

0 / 0

english, 2007

17

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Automated Deduction in Geometry: Second International Workshop, ADG’98 Beijing, China, August 1–3, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Xiao-Shan Gao, Dongming Wang, Lu Yang (auth.)

Anno:

1999

Lingua:

english

File:

PDF, 2.80 MB

0 / 0

english, 1999

18

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 3.25 MB

0 / 0

english, 2001